661. Think like a UX researcher :
المؤلف: David Travis and Philip Hodgson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: User interfaces (Computer systems)-- Design.,User interfaces (Computer systems)-- Evaluation.,User-centered system design.,COMPUTERS / User Interfaces,User interfaces (Computer systems)-- Design.,User interfaces (Computer systems)-- Evaluation.,User-centered system design.
رده :
QA76
.
9
.
U83
T73
2019eb
662. Think like a UX researcher :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: centered system design. ;-User interfaces (Computer systems) ; Design ; User interfaces (Computer systems) ; Evaluation ; User
663. Tool integration and design environments: Proceedings of the IFIP WG 10.2 workshop on tool integration and design environments Paderborn, FRG, 26-27 November, 1987
المؤلف: Edited by Franz J. Rammig
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: System design- Congresses,Electronic digital computers- Design and construction- Data proessing- Congresses,Computer- aided design- Congresses
رده :
QA
،
76
.
9
،.
S88
,
I354
،
1987
664. Tools and Algorithms for the Construction and Analysis of Systems
المؤلف: \ Christel Baier, Cesare Tinelli (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA76
.
9
.
T33
2010
E-Book
,
665. Tools and algorithms for the construction and analysis of system
المؤلف: / C.R. Ramakrishnan, Jakob Rehof (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
رده :
QA
,
76
.
9
,.
S88
,
T33
,
2008
666. Tools and algorithms for the construction and analysis of systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: System design ; Congresses. ; Computer software ; Development ; Congresses. ;
667. Tools and algorithms for the construction and analysis of systems :
المؤلف: Javier Esparza, Rupak Majumdar (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
668. Tools and algorithms for the construction and analysis of systems :
المؤلف: Dirk Beyer, Marieke Huisman (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
669. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tiziana Margaria, Bernhard Steffen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
670. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tomáš Vojnar, Lijun Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
671. Tools and algorithms for the construction and analysis of systems
المؤلف: Nir Piterman, Scott A. Smolka (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
672. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
المؤلف: Tizina Margaria, Bernhard Steffen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1055
673. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
المؤلف: E. Brinksma ... )et al.(, eds
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
V0l
.
1019
674. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
المؤلف: W. Rance Cleaveland )ed.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
675. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
المؤلف: Susanne Graf, Michael Schartzbach )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1785
676. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
المؤلف: Bernhard Steffen )ed.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1384
677. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
المؤلف: Nicolas Halbwachs, Lenore D. Zuck )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440
678. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
المؤلف: Kurt Jensen, Andreas Podelski )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
679. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
المؤلف: Tiziana Margaria, Wang Yi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
680. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
المؤلف: Hubert Garavel, John Hatcliff )eds.(
المکتبة: (طهران)
موضوع: Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
